core_c_srcs:= retarget.c init.c cpu.c interrupts.c objcache.c smp.c

#Embedded C Debug Console
core_c_srcs += ecdc.c

#Test cases framework
core_c_srcs += tests_lib.c
